LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
نویسندگان
چکیده
Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.
منابع مشابه
Web Based IDE Development with Google Web Toolkit: An Experience Report
Web-based Integrated Development Environment (IDE) is a neat development tool that can be used by any thin client with a web browser. However, writing dynamic web applications today is a tedious and error-prone process, and most importantly we do not have any effective framework to implement such a huge idea on web pages. Google Web Toolkit (GWT) is an open source Java software development fram...
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملDesign, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology
Semantic web services (SWS) are self-contained, self-describing, semantically marked-up software resources that can be published, discovered, composed and executed across the Web in a semi-automatic way. They are a key component of the future Semantic Web, in which networked computer programs become providers and users of information at the same time. This work focuses on developing a full-life...
متن کاملWeb-Based Detection of Music Band Members and Line-Up
We present first steps towards the automatic detection of music band members and instrumentation using web content mining techniques. To this end, we combine a named entity detection method with rule-based linguistic text analysis. We report on preliminary evaluation results and discuss limitations of the current method.
متن کاملRecent Advances in Integrating OWL and Rules (Technical Communication)
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1709.05341 شماره
صفحات -
تاریخ انتشار 2017